翻訳と辞書 |
Supratik Chakraborty : ウィキペディア英語版 | Supratik Chakraborty
Supratik Chakraborty is a Professor in the Department of Computer Science and Engineering at Indian Institute of Technology Bombay.
His current areas of study include Formal methods, Formal verification of software and hardware systems, Automata theory and Logic. He has also worked on timing analysis of Asynchronous systems and on Cellular automata in the past. He has published several technical papers, has written a book chapter and has delivered several invited talks in these areas. He has served on the program committees of several international conferences, including being a PC co-chair of FSTTCS 2011 and of ATVA 2012. ==References==
* ( Homepage at Department of Computer Science and Engineering, IIT Bombay ) * ( ACM Council Membership Profile )
* * * *
抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)』 ■ウィキペディアで「Supratik Chakraborty」の詳細全文を読む
スポンサード リンク
翻訳と辞書 : 翻訳のためのインターネットリソース |
Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.
|
|